- bound occurrence
- связанное вхождение
English-Russian dictionary of computer science and programming. 2013.
bound occurrence
Смотреть что такое "bound occurrence" в других словарях:
bound variable — A variable x is bound in a formula if it is within the scope of a quantifier (in first order logic, (∀x ) or (∃x )). Intuitively this means that as the formula is evaluated and x in this occurrence is assigned to an object, the quantified… … Philosophy dictionary
Universal probability bound — A universal probability bound is a probabilistic threshold whose existence is asserted by William A. Dembski and is used by him in his works promoting intelligent design. It is defined as A degree of improbability below which a specified event of … Wikipedia
An Occurrence at Owl Creek Bridge — For the Twilight Zone episode, see An Occurrence at Owl Creek Bridge (film). For the American Dad episode, see An Incident at Owl Creek. An Occurrence at Owl Creek Bridge Author Ambrose Bierce Country United States Language English … Wikipedia
Chernoff bound — In probability theory, the Chernoff bound, named after Herman Chernoff, gives exponentially decreasing bounds on tail distributions of sums of independent random variables. It is better than the first or second moment based tail bounds such as… … Wikipedia
Generalization (logic) — Generalization is an inference rule of predicate calculus which states that:: If vdash P(x) is true (valid) then so is vdash forall x , P(x) . Generalization can be abbreviated as GEN. The inference rule can be summarized as the sequent: P(x)… … Wikipedia
liable — Bound or obliged in law or equity; responsible; chargeable; answerable; compellable to make satisfaction, compensation, or restitution. Homan v. Employers Reinsurance Corporation, 345 Mo. 650, 136 S.W.2d 289, 298. Obligated; accountable for or… … Black's law dictionary
liable — Bound or obliged in law or equity; responsible; chargeable; answerable; compellable to make satisfaction, compensation, or restitution. Homan v. Employers Reinsurance Corporation, 345 Mo. 650, 136 S.W.2d 289, 298. Obligated; accountable for or… … Black's law dictionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
KABBALAH — This entry is arranged according to the following outline: introduction general notes terms used for kabbalah the historical development of the kabbalah the early beginnings of mysticism and esotericism apocalyptic esotericism and merkabah… … Encyclopedia of Judaism
Europe, history of — Introduction history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… … Universalium
